stubdom: no need to clean mini-os
authorWei Liu <wei.liu2@citrix.com>
Tue, 24 Feb 2015 17:37:04 +0000 (17:37 +0000)
committerWei Liu <wei.liu2@citrix.com>
Fri, 27 Feb 2015 16:00:32 +0000 (16:00 +0000)
commitec51ec27f26b085c0f85c76fb865b1d932dfe825
tree7515a88f7531e1cc9aa0f5d7a5d46503799831cf
parent3f73a91625bc91c51ac415e74fe3b2e898b16ed9
stubdom: no need to clean mini-os

All objects are placed inside stubdom's directories, so there is no need
to enter mini-os and clean.

Signed-off-by: Wei Liu <wei.liu2@citrix.com>
Cc: Ian Campbell <ian.campbell@citrix.com>
Cc: Ian Jackson <ian.jackson@eu.citrix.com>
Cc: Samuel Thibault <samuel.thibault@ens-lyon.org>
Cc: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
Acked-by: Samuel Thibault <samuel.thibault@ens-lyon.org>
Acked-by: Ian Campbell <ian.campbell@citrix.com>
stubdom/Makefile